$\forall$${\it es}$:ES, $a$, $b$:E. ($b$ $<$ $a$) $\Rightarrow$ (es{-}height(${\it es}$;$b$) $<$ es{-}height(${\it es}$;$a$))